package pois.agenda;

import com.google.java.contract.Requires;


public interface Agenda {

	@Requires(value="e != null")
	public void inserta(Evento e);
	
	public void inicia();
	
	@Requires(value={"!ultimo()","cantidad() != 0"})
	public void avanza();
	  
	public boolean ultimo();
	
	public Evento elemento();
	
	public int cantidad();
	
	
	
}
